オートマトン 言語理論 計算論 １

J．E．ホップクロフト、J．D．ウルマン　著

有限オートマトン、正規表現からチューリングマシンまで扱っている

大学の情報系学部向けの教科書

古本屋で第2巻とセットで見つけた

証明と演習問題を飛ばして、とりあえず読んでみた。

正規表現が文字列を集合として扱う方法だとか、正規表現と有限オートマトンが対応しているとか

言われてみれば面白い！

ちゃんと演習問題までやれば、正規表現や有限オートマトンの設計力が上がりそう。

ブール代数止まりだと、組み合わせ回路しか作れない。